/* robot */
HTML.dohRobot * {
	cursor: progress !important;
}
